((ENSCHAT00000042142,ENSCHAT00000059923),ENSCHAT00000056453);